Constraint satisfaction - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction
Results: 487

#	Item
21	Second International Conference on Multiagent SystemsDistributed Breakout Algorithm for Solving Distributed Constraint Satisfaction Problems Makoto Yokoo Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:16 Constraint programming Mathematics Constraint satisfaction problem Constraint satisfaction Algorithm Shortest path problem Theoretical computer science Min-conflicts algorithm Distributed constraint optimization
22	Revisiting ADOPT-ing and its Feedback Schemes Marius C. Silaghi Florida Institute of Technology Makoto Yokoo Kyushu University Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:20 Constraint programming Distributed constraint optimization Weighted constraint satisfaction problem Constraint satisfaction problem
23	Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation Ivan Kuraj CSAIL, MIT, USA Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Software engineering Computer programming Constraint programming Enumerated type Type theory Constraint satisfaction problem Generator Backtracking Data structure
24	Microsoft Word - NEW06.docx Add to Reading List Source URL: agecon2.tamu.edu Language: English - Date: 2013-08-28 14:38:26 Operations research Mathematical optimization Linear programming Mathematical analysis Feasible region Constraint Analysis Mathematics Simplex algorithm Constraint satisfaction
25	Path Constraints on Semistructured and Structured Data Peter Buneman University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Constraint programming Mathematical optimization Constraint satisfaction Theoretical physics First class constraint
26	Generating tractable CSPs by means of adjoint functors Jan Foniok joint work with Claude Tardif Fête of Combinatorics and Computer Science Add to Reading List Source URL: www.ifor.math.ethz.ch Language: English - Date: 2008-11-18 08:48:31 Graph theory Mathematics Constraint programming Discrete mathematics Morphisms Constraint satisfaction problem Graph homomorphism Constraint satisfaction Complexity of constraint satisfaction Graph minor
27	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:05 Theoretical computer science Computational complexity theory Mathematics Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm
28	JOURNAL OF TVCGAutomatic Constraint Detection for 2D Layout Regularization Add to Reading List Source URL: peterwonka.net Language: English - Date: 2015-11-20 08:11:15 Constraint programming Mathematical optimization Constraint Regularization Analysis Constraint satisfaction Mathematics Applied mathematics Constraint logic programming
29	Functional Programming with Pros and Cons Benny H¨ ockner and Peter Sauer and Petra Hofstedt Brandenburg University of Technology, Cottbus {benny.hoeckner,peter.sauer,petra.hofstedt}@tu-cottbus.de Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:27 Declarative programming Constraint programming Software engineering Programming paradigms Computer programming Constraint logic programming Logic programming Constraint satisfaction Concurrent constraint logic programming
30	Geolocalization on the Internet through Constraint Satisfaction Bernard Wong, Ivan Stoyanov, Emin G¨un Sirer Dept. of Computer Science, Cornell University, Ithaca, NYAbstract This paper outlines a novel, compreh Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2006-09-13 17:23:17 Astronomical instruments Celestial navigation Operations research Knowledge Computer networking Equipment Technology Octant Network delay Latency Sextant Flow network

UPDATE